Transition
II AC,AD BC,BD IC 0
0 II AD,AD AC,AC BD
AC,BD IC II AD,AC 0
0 AC,AD 0 II AC
II AC BD BD AI
Name_State
s0 s1 s2 s3 s4
Initial_State
s0
Atomic_propositions
a b c d e f g h
Labelling
1 0 0 0 0 0 0 1
0 0 0 0 1 0 0 1
0 0 1 0 0 0 0 1
1 0 0 0 0 0 0 1
1 0 1 0 0 0 0 1
Number_of_agents
2